🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Automating Boundary Filling in Cubical Type Theories
arxiv.org·11h
🧮Programming Language Theory
CPU Core Deception: The Genius of Virtual Cores and Performance
dev.to·13h·
Discuss: DEV
🏗Computer Architecture
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·21h·
Discuss: Substack, r/programming
🧩Theorem Proving
BACON: An Improved Vector Commitment Construction with Applications to Signatures
eprint.iacr.org·1d
🔐Cryptography
Challenges of Pseudocode Expansion
funcall.blogspot.com·8h·
Discuss: www.blogger.com
📝Lisp
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·7h·
Discuss: Hacker News
⚙Functional Programming
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2h
🧮Programming Language Theory
Full stack open
fullstackopen.com·3h
📝Lisp
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·5h
🔐Cryptography
Extensions and Shadows (9)
sites.psu.edu·1h
⚙Functional Programming
[D] reflecting on 8 years of model inference
reddit.com·21h·
Discuss: r/MachineLearning
🎲Probabilistic Programming
SynAdapt: Learning Adaptive Reasoning in Large Language Models via Synthetic Continuous Chain-of-Thought
arxiv.org·11h
🔗Parser Combinators
My Interview with Claude Code
mattlangston.com·17h·
Discuss: Hacker News
🧩Theorem Proving
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·4d·
Discuss: Hacker News
🔢Mathematical Logic
I wrote a free book on keeping systems flexible and safe as they grow — sharing it here
github.com·2h·
Discuss: r/programming
🔧Compiler Design
A Library Approach to Constant Template Parameters
brevzin.github.io·2d·
Discuss: Hacker News, r/cpp
🧮Programming Language Theory
LLMs - Embeddings 01
dev.to·9h·
Discuss: DEV
🔗Parser Combinators
AI Can Do a Lot—but Still Seems Totally Stumped by Sudoku
inc.com·1d
🧫Cellular Automata
Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·21h
📈Complexity Theory
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News
📝Lisp